co-function identities